@inproceedings{heunenkarvonen:reversiblemonadiccomputing,
  author = {C. Heunen and M. Karvonen},
  title = {Reversible monadic computing},
  booktitle = {Mathematical Foundations of Programming Semantics (MFPS)},
  year = {2015},
  series = {Electronic Notes in Theoretical Computer Science},
  volume = {319},
  pages = {217--237},
  DOI={10.1016/j.entcs.2015.12.014}
}